home *** CD-ROM | disk | FTP | other *** search
/ Mac Power 1997 January / macpower199701.bin / AMUG / Programming_10 / IFSPLM 9.0.sit / IFSPLM 9.0 ƒ / IFSPLM 9.0.rsrc / TEXT_166.txt < prev    next >
Encoding:
Text File  |  1996-07-04  |  4.3 KB  |  151 lines
  1.  
  2.  
  3.                                                 PROLOG
  4.  
  5. "Contrariwise", continued Tweedledee, "If it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic."
  6. --> Lewis Carroll
  7.  
  8. Under Capitalism man exploits man; under Socialism the reverse is true.
  9. --> Polish "proverb" 
  10.  
  11. Under Capitalism, man exploits man. Under Communism, it's just the opposite.
  12. --> John Kenneth Galbraith (?)
  13.  
  14.  
  15. FAQs:
  16. Jamie Andrews:
  17. ftp://rtfm.mit.edu/pub/usenet/news.answers/prolog/
  18. http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.faq.html
  19. http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/faq/faq.html
  20.  
  21. Mark Kantrowitz :
  22. http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html
  23. http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.resource-guide.part1.html
  24. http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.resource-guide.part2.html
  25.  
  26. Page:
  27. http://www.cambridge.apple.com/other-langs/prolog.html
  28.  
  29.  
  30.                                                  1. JB-Prolog
  31.  
  32. MAC NAME: JB-Prolog 2.1 Demo System for the Macintosh                                      
  33.  
  34. VERSION - UPDATE: 2.1.2  (01-25-94)
  35.  
  36. README:
  37. "JB-Prolog 2.1 is a slim and powerful prolog interpreter. It is currently available for the MacIntosh where it comes with a programming environment described in the User's Manual."
  38.  
  39. AUTHORS:
  40. Jan Burse
  41.     
  42. COPYRIGHT:
  43. (c)   XLOG: Jan Burse
  44.  
  45. TYPE:
  46. Freeware
  47.  
  48. INTERNET SITES:
  49. Original site:
  50. ftp://ftp.cs.cmu.edu/user/ai/lang/prolog/impl/prolog/jbprolog/
  51. http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/jbprolog/
  52.  
  53.  
  54.                                               2. Open Prolog 
  55.  
  56. VERSION - UPDATE: 1.0.3.d31 (04-10-96)                                 
  57.  
  58. README:
  59. "Open Prolog is an implementation of Edinburgh-syntax Prolog. ....
  60. Open Prolog supports most of the features of DEC Prolog or C-Prolog, including Definite Clause Grammars. The 'logical' assert and retract semantics of Lindholm & O'Keefe are implemented."
  61. "This replaces all previous versions, and has bug fixes, speed improvements, new predicates and a prototype dialog box handler."
  62.  
  63. AUTHOR:
  64. Michael Brady
  65.     
  66. COPYRIGHT:
  67. (c) 1986 - 96 Michael Brady
  68.  
  69. TYPE:
  70. Freeware (: Postcardware)
  71.  
  72. INTERNET SITES:
  73. Original site:
  74. ftp://ftp.cs.tcd.ie/pub/languages/open-prolog/
  75. ftp://ftp.cs.tcd.ie/pub/mac/open-prolog/
  76.  
  77. Other sites :
  78. Info-Mac
  79.  
  80.  
  81.                                           3. MacProlog (Demo) 
  82.                                                        TPM
  83.  
  84. NAMES: 
  85. archived file: TPM1.11.sea.hqx
  86.   
  87. VERSION - UPDATE: 
  88. MacProlog 3.5  (07-07-92) 
  89. TPM 1.11  (Sept. 91)                               
  90.  
  91. README:
  92. "The version of MacPROLOG included here is a 1991 demo version.  Being a demo version it has certain restrictions, but these do not affect anything you might need to do for this course."
  93.  
  94. "A clear and consistent execution model of any programming language can lay the foundations not only for a good learning experience, but also for a smoother design/edit/run/debug cycle.  The Transparent Prolog Machine was developed in attempt to construct precisely such a model for the logic programming language Prolog, based upon a notational extension of logic programming窶冱 traditional AND/OR trees."
  95.  
  96. AUTHORS:
  97.  
  98. MacProlog:
  99. Logic Programming Associates
  100.  
  101. TPM:
  102. Marc Eisenstadt 
  103. Mike Brayshaw
  104. mac version:
  105. Fred Kwakkel
  106.     
  107. COPYRIGHT:
  108. LPA MacPROLOG邃｢  (c) 1984-1991, Logic Programming Associates, Ltd. (UK)
  109. TPM for Macintosh (c) 1991, The Open University (UK)
  110.  
  111. TYPE:
  112. Freeware demo version
  113.  
  114. INTERNET SITES:
  115. Original site:
  116. ftp://hcrl.open.ac.uk/pub/software/mac/
  117.  
  118. Other sites  (macprolog  v.3.0):
  119. ftp://aisun1.ai.uga.edu/pub/prolog/
  120. ftp://ai.uga.edu/pub/prolog/
  121. ftp://ftp.cs.cmu.edu/user/ai/lang/prolog/impl/prolog/mac_pl/
  122. http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/mac_pl
  123.  
  124.   
  125.                                                4. Tricia Prolog 
  126.  
  127. VERSION - UPDATE: 0.9.5a31  (03-24-94)                                
  128.  
  129. README: 
  130. "This is Tricia 0.9.5, a Prolog system for Macintosh (and U**X) computers developed at the Computing Science Department of Uppsala University." 
  131.  
  132. AUTHORS:
  133. Jonas Barklund
  134. Monika Danielsson
  135. Jan Gabrielsson
  136. Per Mildner
  137. Per-Eric Olsson
  138. Jan Wuensche
  139.     
  140. COPYRIGHT:
  141. (c)  1989 - 1993  Computing Science Dept.
  142. Uppsala University, Uppsala,Sweden 
  143.  
  144. TYPE:
  145. Public Domain
  146.  
  147. INTERNET SITES:
  148. Original site:
  149. ftp://ftp.csd.uu.se/pub/Tricia/Mac/
  150.  
  151.